nLab semi-spin group

Contents

Context

Spin geometry

Group Theory

Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Related topics

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Contents

Idea

What are called half-spin groups or semi-spin groups (McInnes 99a, McInnes 99b) are quotient groups of spin groups Spin(n)Spin(n) by a non-standard Z/2-subgroup:

Generally, every spin group Spin(n)Spin(n) is, essentially by definition, a /2\mathbb{Z}/2-group extension of the corresponding special orthogonal group, so that the quotient group by the resulting canonical subgroup inclusion /2ιSpin(n)\mathbb{Z}/2 \overset{\iota}{\hookrightarrow} Spin(n) recovers SO(n)

Spin(n)/ ι(/2)SO(n). Spin(n)/_{\iota}(\mathbb{Z}/2) \simeq SO(n) \,.

But in the special case that the dimension n=4kn = 4k is a positive multiple of 4 distinct from 8 (i.e. k >0,k2k \in \mathbb{N}_{\gt 0}, k \neq 2), there is another /2\mathbb{Z}/2-conjugacy class of subgroups /2ι sSpin(4k)\mathbb{Z}/2 \overset{\iota_{s}}{\hookrightarrow} Spin(4k), which is distinct from the canonical ι\iota, and hence yields a quotient group

SemiSpin(4k)Spin(4k)/ ι s(/2) SemiSpin\big(4k \big) \;\coloneqq\; Spin\big(4k\big)/_{\iota_s} (\mathbb{Z}/2)

which is distinct from (i.e. not isomorphic to) SO(n).

This is called the semi-spin group or half-spin group in that dimension.

Examples

SemiSpin(4)

The semi-spin group in dimension 4 is just the direct product group of SU(2) with SO(3):

SemiSpin(4)SU(2)×SO(3) SemiSpin(4) \;\simeq\; SU(2) \times SO(3)

SemiSpin(8)

While also for Spin(8) it is the case that the center contains two copies of Z/2, Z(Spin(8)) 2× 2Z\big( Spin(8)\big) \simeq \mathbb{Z}_2 \times \mathbb{Z}_2, in this case the existence of triality automorphisms actually makes these two copies behave identically, so that here the would-be semi-spin groups happens to coincide with SO(8) after all:

Spin(8)/ ι s 2SO(8)Spin(8)/ ι 2 Spin(8)/_{\iota_s} \mathbb{Z}_2 \;\simeq\; SO(8) \;\simeq\; Spin(8)/_{\iota} \mathbb{Z}_2

(e.g. McInnes 99a, p. 9)

SemiSpin(16)

The subgroup of the exceptional Lie group E8 which corresponds to the Lie algebra-inclusion 𝔰𝔬(16)𝔢 8\mathfrak{so}(16) \hookrightarrow \mathfrak{e}_8 is the semi-spin group SemiSpin(16):

SemiSpin(16)E 8 SemiSpin(16) \;\subset\; E_8

On the other hand, the special orthogonal group SO(16)SO(16) is not a subgroup of E 8E_8 (e.g. McInnes 99a, p. 11).

In heterotic string theory with gauge group the direct product group E 8×E 8E_8 \times E_8 it is typically this subgroup Semispin(16)×SemiSpin(16)Semispin(16) \times SemiSpin(16) which is considered (but typically denoted Spin(16)/ 2Spin(16)/\mathbb{Z}_2, see also Distler-Sharpe 10, Sec. 1).

SemiSpin(32)

In heterotic string theory precisely two (isomorphism classes of) gauge groups are consistent (give quantum anomaly cancellation): one is the direct product group E 8×E 8E_8 \times E_8 of the exceptional Lie group E8 with itself, the other is in fact the semi-spin group SemiSpin(32) (see McInnes 99a, p. 5).

Beware that the string theory literature often writes this as Spin(32)/ 2Spin(32)/\mathbb{Z}_2, which is at best ambiguous and misleading, or even as SO(32)SO(32), which is wrong. Of course this follows the general tradition in the physics literature to write identifications of Lie groups that are really only identifications of their Lie algebras, see also “SO(10)-GUT theory”.

rotation groups in low dimensions:

Dynkin labelsp. orth. groupspin grouppin groupsemi-spin group
SO(2)Spin(2)Pin(2)
B1SO(3)Spin(3)Pin(3)
D2SO(4)Spin(4)Pin(4)
B2SO(5)Spin(5)Pin(5)
D3SO(6)Spin(6)
B3SO(7)Spin(7)
D4SO(8)Spin(8)SO(8)
B4SO(9)Spin(9)
D5SO(10)Spin(10)
B5SO(11)Spin(11)
D6SO(12)Spin(12)
\vdots\vdots
D8SO(16)Spin(16)SemiSpin(16)
\vdots\vdots
D16SO(32)Spin(32)SemiSpin(32)

see also

References

Last revised on October 29, 2023 at 16:26:26. See the history of this page for a list of all contributions to it.